<html><head><title>Jimple typing toolkit</title></head><body>
Implements a typing algorithm for Jimple.
</body></html>
